well-formed formula - definition. What is well-formed formula
Diclib.com
قاموس ChatGPT
أدخل كلمة أو عبارة بأي لغة 👆
اللغة:     

ترجمة وتحليل الكلمات عن طريق الذكاء الاصطناعي ChatGPT

في هذه الصفحة يمكنك الحصول على تحليل مفصل لكلمة أو عبارة باستخدام أفضل تقنيات الذكاء الاصطناعي المتوفرة اليوم:

  • كيف يتم استخدام الكلمة في اللغة
  • تردد الكلمة
  • ما إذا كانت الكلمة تستخدم في كثير من الأحيان في اللغة المنطوقة أو المكتوبة
  • خيارات الترجمة إلى الروسية أو الإسبانية، على التوالي
  • أمثلة على استخدام الكلمة (عدة عبارات مع الترجمة)
  • أصل الكلمة

%ما هو (من)٪ 1 - تعريف


Well-formed formula         
FINITE SEQUENCE OF SYMBOLS FROM A GIVEN ALPHABET THAT IS PART OF A FORMAL LANGUAGE
Well formed formula; Well-formed formulas; Formula (mathematical logic); Well formed formulae; Well-formed formulae; Subformula; Layman Allen; Quantifier-free formula; Formula (logic); Logical expression; Logical formula; Formula (logics)
In mathematical logic, propositional logic and predicate logic, a well-formed formula, abbreviated WFF or wff, often simply formula, is a finite sequence of symbols from a given alphabet that is part of a formal language.Formulas are a standard topic in introductory logic, and are covered by all introductory textbooks, including Enderton (2001), Gamut (1990), and Kleene (1967) A formal language can be identified with the set of formulas in the language.
Well-formed element         
WEB DESIGN ELEMENT THAT IS PROPERLY DESIGNED AND ORDERED
Well-formed tag; Well-formed HTML
In web page design, and generally for all markup languages such as SGML, HTML, and XML, a well-formed element is one that is either a) opened and subsequently closed, or b) an empty element, which in that case must be terminated; and in either case which is properly nested so that it does not overlap with other elements.
Well-formed document         
XML DOCUMENT THAT ADHERES TO THE SYNTAX RULES OF THE XML 1.0 SPECIFICATION
Well-formed XML; Well-formed XML document
A well-formed document in XML is a document that "adheres to the syntax rules specified by the XML 1.0 specification in that it must satisfy both physical and logical structures".